Computational ideal theory in finitely generated extension rings
نویسندگان
چکیده
منابع مشابه
Computational ideal theory in finitely generated extension rings
One of the most general extensions of Buchberger's theory of Grobner bases is the concept of graded structures due to Robbiano and Mora. But in order to obtain algorithmic solutions for the computation of Gr obner bases it needs additional computability assumptions. In this paper we introduce natural graded structures of nitely generated extension rings and present subclasses of such structur...
متن کاملComputational ideal theory in nitely generated extension rings
Since Buchberger introduced the theory of Gr obner bases in 1965 it has become an important tool in constructive algebra and, nowadays, Buchberger’s method is fundamental for many algorithms in the theory of polynomial ideals and algebraic geometry. Motivated by the results in polynomial rings a lot of possibilities to generalize the ideas to other types of rings have been investigated. The pe...
متن کاملFinitely Generated Annihilating-Ideal Graph of Commutative Rings
Let $R$ be a commutative ring and $mathbb{A}(R)$ be the set of all ideals with non-zero annihilators. Assume that $mathbb{A}^*(R)=mathbb{A}(R)diagdown {0}$ and $mathbb{F}(R)$ denote the set of all finitely generated ideals of $R$. In this paper, we introduce and investigate the {it finitely generated subgraph} of the annihilating-ideal graph of $R$, denoted by $mathbb{AG}_F(R)$. It is the (undi...
متن کاملFinitely Generated Ideal Languages and Synchronizing Automata
We study representations of ideal languages by means of strongly connected synchronizing automata. For every finitely generated ideal language L we construct such an automaton with at most 2 states, where n is the maximal length of words in L. Our constructions are based on the De Bruijn graph.
متن کاملCommutative rings in which every finitely generated ideal is quasi-projective
This paper studies the multiplicative ideal structure of commutative rings in which every finitely generated ideal is quasi-projective. Section 2 provides some preliminaries on quasi-projective modules over commutative rings. Section 3 investigates the correlation with well-known Prüfer conditions; namely, we prove that this class of rings stands strictly between the two classes of arithmetical...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 2000
ISSN: 0304-3975
DOI: 10.1016/s0304-3975(00)00172-9